quickSettings: Add small border to menu toggles

The slightly lighter background of the menu button turned out
to not be quite enough to indicate that it's a separate control
from the main toggle. Address this with a small border between
the two elements.

https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/5963

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2632>

diff --git a/data/theme/gnome-shell-sass/widgets/_quick-settings.scss b/data/theme/gnome-shell-sass/widgets/_quick-settings.scss
index 87028565e5d7673d1db74274cb87f1ae1ede2bc2..45e601f413e0c37fd72b5f0f896ca82d9044b7cd 100644 (file)
--- a/data/theme/gnome-shell-sass/widgets/_quick-settings.scss
+++ b/data/theme/gnome-shell-sass/widgets/_quick-settings.scss
@@ -56,12 +56,18 @@
 
   & .quick-toggle-arrow {
     padding: $base_padding $base_padding*1.75;
-    border: none;
+    border-width: 0;
 
     &:checked { @include button(default, $c:$selected_bg_color); }
 
-    &:ltr { border-radius: 0 99px 99px 0; }
-    &:rtl { border-radius: 99px 0 0 99px; }
+    &:ltr {
+      border-radius: 0 99px 99px 0;
+      border-left-width: 1px;
+    }
+    &:rtl {
+      border-radius: 99px 0 0 99px;
+      border-right-width: 1px;
+    }
   }
 }